Tutorial: Designing Distributed Software in mCRL2

Designing High-Performance Distributed Applications Using Software Performance Engineering: A Tutorial

Analysis of Distributed Systems with mCRL2

ion An important notion in process algebra is that of abstraction. Usually the requirements of a system are defined in terms of external behaviour (i.e. the interactions of the system with its environment), while one wishes to check these requirements on an implementation of the system which also contains internal behaviour (i.e. the interactions between the components of the system). So it is ...

Designing Distributed Learning Environments with Intelligent Software

I believe that education is an investment for the future of society. To develop our society we need to achieve the best education for every individual through providing every appropriate means for the particular individual. To provide the best education for each individual, we must perforce adapt our education to the individual. One adaption is to free the individual constraints of place and ti...

Designing a Distributed Software Transactional Memory System

Distributed systems are widely used in high performance computing for performing computationally extensive calculations. In programming terms, distributed systems have usually been exploited through the use of dedicated APIs such as OpenMP and MPI. With these programming models, synchronization is achieved using locks and barriers, and is complex to implement correctly. Transactional memory is ...

Designing Software Cockpits for Coordinating Distributed Software Development

Coordination of global software development is particularly difficult as it involves teams that are distributed across different locations and time zones. One of the key issues is a lack of understanding of how activities of different teams (and team members) relate to one another. To provide situational awareness for distributed teams, software cockpits, at-a-glance computer-controlled display...